1. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
پدیدآورنده: / Marcello Balduccini, Tran Cao Son
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
2. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
پدیدآورنده: / Jack Minker (auth.), Marcello Balduccini, Tran Cao Son (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
3. Logic Programming and Nonmonotonic Reasoning
پدیدآورنده: \ Francesco Calimeri , Giovambattista Ianni, Miroslaw Truszczynski (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic programming.,برنامه‌نویسی منطقی.,a05,a05,Logic programming -- Congresses.,Nonmonotonic reasoning -- Congresses.,برنامه‌نویسی منطقی -- کنگره‌ها
رده :
QA
76
.
6
.
L6
2015
E-Book
,
4. Logic Programming and Nonmonotonic Reasoning :
پدیدآورنده: edited by Marcello Balduccini, Yuliya Lierler, Stefan Woltran.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic programming, Congresses.,Nonmonotonic reasoning, Congresses.,Logic programming.,Nonmonotonic reasoning.
رده :
QA76
.
63
.
L64
2019
5. Logic Programming and Nonmonotonic Reasoning :
پدیدآورنده: edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
6. Logic Programming and Nonmonotonic Reasoning
پدیدآورنده: / James P. Delgrande, Wolfgang Faber
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
7. Logic Programming and Nonmonotonic Reasoning :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic programming ; Congresses. ;
8. Logic Programming and Nonmonotonic Reasoning :
پدیدآورنده: edited by Vladimir Lifschitz, Ilkka Niemelä.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Artificial intelligence.,Computer science.
رده :
Q334-342
9. Logic Programming and Nonmonotonic Reasoning
پدیدآورنده: / Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
10. Logic Programming and Nonmonotonic Reasoning
پدیدآورنده: / Pedro Cabalar, Tran Cao Son
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
11. Logic Programming and non-monotonic reasoning : Proceedings of the first international workshop
پدیدآورنده: edited by Anil-Nerode, Wiktor Marek, and V.S. Subrahmanian
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
63
.
I5
1991
12. Logic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده: / Edmund M. Clarke, Andrei Voronkov
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
13. Logic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده: / Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
14. Logic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده: \ Martin Davis, ... [et al.] (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer logic -- Congresses,Computer science,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر
رده :
QA
75
.
5
.
L66
2015
E-Book
,
15. Logic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده: / ller, Andrei VoronkovیChristian G. Ferm
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
16. Logic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده: / Ken McMillan, Aart Middeldorp, Andrei Voronkov
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
17. Logic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده: / rner, Andrei VoronkovوNikolaj Bj
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
18. Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings
پدیدآورنده: Michel Parigot, Andrei Voronkov )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
1955
19. Logic for programming, artificial intelligence, and reasoning :
پدیدآورنده: Edmund M. Clarke, Andrei Voronkov (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Informatique.,Logic programming -- Congresses.,Logic programming.
20. Logic for programming, artificial intelligence, and reasoning
پدیدآورنده: / Franz Baader, Andrei Voronkov (eds.)
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Logic programming,Automatic theorem proving
رده :
QA
76
.
63
.
L735
2005
